Edukad projektid

Leidsin 1 projekti. alaprogramm [ IST ] otsingusõna [ CHALMERS TEKNISKA HOEGSKOLA AKTIEBOLAG ]

Programmid

Koordinaator-riigid

Alaprogrammid

Instrumendid

Partner-riigid (projektides osaluse arv)

projekti nr	akronüüm ja pealkiri	kestus
FP6 - 510996	TYPES - Types for Proofs and Programs	2004-2008